закон де Моргана

См. также в других словарях:

• закон де моргана — общее название логических законов, связывающих с помощью отрицания конъюнкцию ( и ) и дизъюнкцию ( или ). Названы именем англ. логика XIX в. А. де Моргана. Один из этих законов можно выразить так: отрицание конъюнкции эквивалентно дизъюнкции… …   Словарь терминов логики

• закон де Моргана — De Morgano dėsnis statusas T sritis automatika atitikmenys: angl. law of De Morgan vok. De Morgansches Gesetz, n rus. закон де Моргана, m pranc. loi De Morgan, f ryšiai: sinonimas – Morgano dėsnis …   Automatikos terminų žodynas

• закон экономии (канон Ллойд-Моргана) — закон зоопсихологиии, сформулированный Ллойд Морганом в 1894 г., суть которого заключается в следующем: нельзя объяснить поведение животного, исходя из более высокой психической способности, если оно может быть объяснено ниже стоящей в… …   Энциклопедический словарь по психологии и педагогике

• закон моргана — ЭМБРИОЛОГИЯ ЖИВОТНЫХ ЗАКОН МОРГАНА – Гены одной хромосомы образуют группу сцепления и наследуются сцепленно. Сила сцепления обратно пропорциональна расстоянию между генами и нарушается при кроссинговере …   Общая эмбриология: Терминологический словарь

• ЛОГИЧЕСКИЙ ЗАКОН — или Закон логики, выражение, содержащее только логические константы и переменные и являющееся истинным в любой (непустой) предметной области. Примерами Л.з. могут служить закон противоречия, закон исключенного третьего, закон де Моргана, закон… …   Философская энциклопедия

• логический закон — выражение, содержащее только логические константы и переменные и явля ющееся истинным в любой (непустой) предметной области. Примером Л. з. может служить любой закон логики высказываний (скажем, непротиворечия закон, закон исключенного третьего,… …   Словарь терминов логики

• Правила де Моргана — Законы де Моргана (правила де Моргана)  логические правила, связывающие пары дуальных логических операторов при помощи логического отрицания. Определение Огастес де Морган первоначально заметил, что в классической пропозициональной логике… …   Википедия

• Законы де Моргана — (правила де Моргана)  логические правила, связывающие пары дуальных логических операторов при помощи логического отрицания. Открыты шотландским математиком Огастесом де Морганом Определение Огастес де Морган первоначально заметил, что в… …   Википедия

• ЗАКОНЫ ДЕ МОРГАНА — законы логики высказываний, связывающие отрицание с операциями конъюнкции и дизъюнкции, соответствующими логич. союзам и и неразделительному или естеств. языка. З. де М. в словесной формулировке были известны еще схоластич. логикам. В математич.… …   Философская энциклопедия

• Дизъюнктивная нормальная форма — (ДНФ) в булевой логике нормальная форма, в которой булева формула имеет вид дизъюнкции конъюнкций литералов. Любая булева формула может быть приведена к ДНФ.[1] Для этого можно использовать закон двойного отрицания, закон де Моргана, закон… …   Википедия

• Конъюнктивная нормальная форма — (КНФ) в булевой логике  нормальная форма, в которой булева формула имеет вид конъюнкции дизъюнкций литералов. Конъюнктивная нормальная форма удобна для автоматического доказательства теорем. Любая булева формула может быть приведена к… …   Википедия